Curry-Howard correspondence
[网络] 柯里-霍华德同构
热门查询
- implicated v. 纠缠（implicate的过去式和过去分词） adj. 有牵连的
- countervailing adj. 抵消的；对抗性的 v. 补偿；抵消（countervail的ing形式）；对抗
- trammel n. 拘束；束缚；束缚物 vt. 束缚；拘束；阻碍 n. (Trammel)人名；(英)特拉梅尔
- baldwin n. 鲍尔温苹果；鲍尔温（姓氏）
- iff abbr. 敌我识别系统（Identification Friend or Foe）
- thermoplastic n. [塑料] 热塑性塑料 adj. 热塑性的
- psychedelic n. 迷幻剂 adj. 引起幻觉的
- eyesore n. 眼中钉；难看的东西
- intellectualize vt. 使……有理智；将……作理性研究 vi. 诉诸理智；推理
- Gatsby n. 杰士派（品牌名）；盖茨比（姓）
- Kubla n. (Kubla)人名；(捷)库布拉
- roughshod adj. 马蹄上装有防滑钉的；冷酷无情的
- Strangelove n. 核战争狂（指人）
- purchaser n. 买方；购买者
- heavily adv. 沉重地；猛烈地；沉闷地
- tyrant n. 暴君
- reactance n. [电] 电抗；感应抵抗
- ouch n. 扣环 int. 哎哟（突然疼痛时发出的声音） n. (Ouch)人名；(柬)乌
- coulter n. 犁刀
- regressive adj. 回归的；后退的；退化的
考试词汇表
- code pulse train
- code replacement
- code replication
- code requirement
- code sensitivity
- code stuffed set
- code transaction
- code translation
- code transmitter
- code transparent
- code walkthrough
- code window text
- code, stochastic
- code-behind file
- code-element set
- code-independent
- codec signatures
- coded amino acid
- coded conversion
- coded laser beam
